perm filename IJCAI.OTL[RDG,DBL] blob
sn#698565 filedate 1983-01-29 generic text, type T, neo UTF8
@Comment{OUTLINE of V2.MSS by Scribe 3B(1134) on 29 January 1983 at 16:03}
1 Introduction 1 V2.MSS, 00100/3
2 New with respect to a Theory 1 V2.MSS, 00100/5
TheoryAlone 1 V2.MSS, 00200/5
Defn-N-Sem (Definition 1) 2 V2.MSS, 02900/6
DefnN1 (Definition 2) 2 V2.MSS, 03900/6
3 New with respect to a Symbol (and a Theory) 2 V2.MSS, 00100/7
PropCase 2 V2.MSS, 00200/7
SynMethod 3 V2.MSS, 00200/8
G#1 (Conjecture 1) 3 V2.MSS, 01700/8
AorB 3 V2.MSS, 03700/8
ReduceInter 3 V2.MSS, 00200/9
G#2 (Conjecture 2) 3 V2.MSS, 02300/9
ABValues 1 3 V2.MSS, 05700/9
Analysis 4 V2.MSS, 01900/10
PartitionRed 4 V2.MSS, 00200/11
FancyPart (Definition 3) 5 V2.MSS, 04500/11
FP-A (Definition 4) 5 V2.MSS, 05400/11
G#4 (Conjecture 3) 5 V2.MSS, 00900/12
NeedAll #4 5 V2.MSS, 04600/13
AiffB-Tableau 2 6 V2.MSS, 03800/15
4 Summary 6 V2.MSS, 00100/16
Conclusion 6 V2.MSS, 00200/16
Analysis4 6 V2.MSS, 00400/16
Obs 6 V2.MSS, 01700/16
Uses 7 V2.MSS, 00200/17
Assert 7 V2.MSS, 00200/19
Table of Contents 1 050S01.TMP, 00300/1
List of Figures 2 050S02.TMP, 00300/1
Alphabetic Listing of Cross-Reference Tags and Labels
Tag or Label Name Page Label Value Source file Location
-----------------------------------------------------------------------------
ABVALUES 4 1 V2.MSS, 05700/9
AIFFB-TABLEAU 6 2 V2.MSS, 03800/15
ANALYSIS 4 3 V2.MSS, 01900/10
ANALYSIS4 6 4 V2.MSS, 00400/16
AORB 3 3 V2.MSS, 03700/8
ASSERT 7 4 V2.MSS, 00200/19
CONCLUSION 6 4 V2.MSS, 00200/16
DEFN-N-SEM 2(Definition 1) V2.MSS, 02900/6
DEFNN1 2(Definition 2) V2.MSS, 03900/6
FANCYPART 5(Definition 3) V2.MSS, 04500/11
FP-A 5(Definition 4) V2.MSS, 05400/11
G#1 3(Conjecture 1) V2.MSS, 01700/8
G#2 3(Conjecture 2) V2.MSS, 02300/9
G#4 5(Conjecture 3) V2.MSS, 00900/12
NEEDALL 5 #4 V2.MSS, 04600/13
OBS 6 4 V2.MSS, 01700/16
PARTITIONRED 4 3 V2.MSS, 00200/11
PROPCASE 2 3 V2.MSS, 00200/7
REDUCEINTER 3 3 V2.MSS, 00200/9
SYNMETHOD 3 3 V2.MSS, 00200/8
THEORYALONE 1 2 V2.MSS, 00200/5
USES 7 4 V2.MSS, 00200/17